Treatment plan quality during online adaptive re-planning

Improving plan quality is SAT-based planning

Planning as Satisfiability (SAT) is the best approach for optimally (wrt makespan) solving classical planning problems. SAT-based planners, like SATPLAN, can thus return plans having minimal makespan guaranteed. However, the returned plan does not take into account plan quality issues introduced in the last two International Planning Competitions (IPCs): such issues include minimalactions plans...

Improving Plan Quality in SAT-Based Planning

Plan & Planning in Iran

The present article studies and analyses plan and planning in Iran with respect to parameters of the idea of formation, birth, objectives, strategy and its functioning. Iran has half-a-century record of planning, and has implemented 7 constructional and developmental plans so far (5 plans before and 2 plans after the Revolution). Right now, Iran is implementing her third developmental plan. Two...

Alternatives to Re-Planning: Methods for Plan Re-Evaluation at Runtime

Current pIaniiing algorithms have difficulty hmding the complexity that is due to an increase in domain uncertainty, and especially in the case of multi-dimensional continuous spaces. Therefore, they produce plans that do not take into account numerous situations that can occur at runtime, such as faults or other changes in the planning domain itself. Thus there is a gap between the plan genera...

A Robotic Execution Framework for Online Probabilistic (Re)Planning

Due to the high complexity of probabilistic planning algorithms, roboticists often opt for deterministic replanning paradigms, which can quickly adapt the current plan to the environment’s changes. However, probabilistic planning suffers in practice from the common misconception that it is needed to generate complete or closed policies, which would not require to be adapted on-line. In this wor...